<?php
    $output = shell_exec("pdftohtml_linux/src/pdftohtml -c -noframes paper/2quinn.pdf");
//    $output = shell_exec("ls");
//    $output = shell_exec("cd /pdftohtml_linux; pdftohtml -c -noframes 1quinn.pdf");
   // $output = shell_exec("/homepages/7/d30493184/htdocs/www.arolis.com/confo/pdftohtml_linux/pdftohtml -c -noframes /homepages/7/d30493184/htdocs/www.arolis.com/confo/paper/1quinn.pdf");
	echo $output;
	phpinfo();

?>
